Droites orthogonales

d_2

d_1

\Delta

A = (-1.1441788605145575, -2.0721055016809196, 0)
B = (2.2979703608700035, -2.4187258802378455, 0)
C = Point(Circle[B, Distance[A, B], Segment[A, B]])
a, D, E, F, G, H, faceABCD, faceADHE, faceABFE, faceBCGF, faceCDHG, faceEFGH, edgeAD, edgeAB, edgeBC, edgeCD, edgeAE, edgeDH, edgeEH, edgeEF, edgeBF, edgeFG, edgeCG, edgeGH = Cube(A, B, C)
f = Line(B, C)
g = Line(E, A)
h = Line(E, H)
α = Angle(g, h)
I = Point(f)
J = Point(g)
K = Point(h)